constraint solvingの例文

例文

もっと例文:   1  2

1. White-box fuzzing uses symbolic execution and constraint solving.
2. Techniques such as abstract interpretation, constraint solving, and type systems may be used for control-flow analysis.
3. Includes brief explicit description of the role of D-Cubed components in constraint solving, collision detection and physical simulation:
4. Modern SAT solvers are also having significant impact on the fields of software verification, constraint solving in artificial intelligence, and operations research, among others.
5. It hosts fundamental research ( algorithms and complexity, programming logics ) as well a research for various application domains ( computer graphics, geometric computation, constraint solving, computational biology ).